Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

prompt user to try using "quotes" in search #2107

Merged
merged 1 commit into from
Oct 16, 2024
Merged

Conversation

longhotsummer
Copy link
Contributor

For a simple search, if the search string doesn't have quotes, suggest the user wraps the search in quotes to find more exact matches. The user can click the click to do so.

Closes #1963

image

Copy link

github-actions bot commented Oct 16, 2024

Test Results

51 tests  ±0   51 ✅ ±0   10s ⏱️ ±0s
13 suites ±0    0 💤 ±0 
13 files   ±0    0 ❌ ±0 

Results for commit 7e91eee. ± Comparison against base commit 1dab8dd.

♻️ This comment has been updated with latest results.

Copy link
Contributor

@actlikewill actlikewill left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

neat,

@longhotsummer longhotsummer merged commit 44cbeb4 into main Oct 16, 2024
9 checks passed
@longhotsummer longhotsummer deleted the search-tips branch October 16, 2024 11:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Implement a "Search Tip Box" Feature for Enhanced User Guidance
2 participants